Search results for "Conditional probabilities"

showing 5 items of 5 documents

Probabilities of conditionals and previsions of iterated conditionals

2019

Abstract We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then C as information, the probability of A should intuitively increase. We explain this intuition by making some implicit background information explicit. We consider several (generalized) iterated conditionals, which allow…

Background informationSettore MAT/06 - Probabilita' E Statistica MatematicaInference02 engineering and technologyConditional probabilities and previsionTheoretical Computer ScienceConditional random quantitieAffirmation of the ConsequentArtificial Intelligence020204 information systemsFOS: Mathematics0202 electrical engineering electronic engineering information engineeringConjoined and iterated conditionalMathematicsIndependence and uncorrelation.Applied MathematicsProbability (math.PR)Conditional probabilityMathematics - LogicTrivialityIterated function020201 artificial intelligence & image processingLogic (math.LO)Mathematical economicsCoherenceSoftwareMathematics - ProbabilityIntuition
researchProduct

Didactical note: probabilistic conditionality in a Boolean algebra

1996

This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. These operations, or Conditionals, are characterized under the hypothesis that they only obey to the Modus Ponens-Inequality, and it is shown that only six of them are boolean two-place functions. Is the Conditional Probability the Probability of a Conditional? This problem will be only considered, with the Material Conditional Operation, on a Boolean Algebra endowed with a finite probability and in three different cases: with the Internal-Conditional Probability, with th…

Conditional operationsFinite probabilitiesProbability of a conditionLògica algebraicaboolean algebrasSettore INF/01 - InformaticaProbabilitatsÀlgebra booleana:03 Mathematical logic and foundations::03G Algebraic logic [Classificació AMS]Boolean algebrasConditional probabilities
researchProduct

Amount of Nonconstructivity in Finite Automata

2009

When D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P.Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L. E. J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was "nonconstructive arguments have no value for mathematics". However, P. Erdos got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. R.Freivalds [7] showed that nonconstructive methods in coding theory are related to the notion of…

Discrete mathematicsProbabilistic methodDeterministic finite automatonKolmogorov complexityIntuitionismLimit (mathematics)Mathematical proofConstructiveMethod of conditional probabilitiesMathematics
researchProduct

Amount of nonconstructivity in deterministic finite automata

2010

AbstractWhen D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P. Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L.E.J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was “nonconstructive arguments have no value for mathematics”. However, P. Erdös got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. The author (Freivalds, 2008) [10] showed that nonconstructive methods in coding theory are…

General Computer ScienceKolmogorov complexityKolmogorov complexityMathematical proofConstructiveTheoretical Computer ScienceAlgebraDeterministic finite automatonProbabilistic methodIntuitionismDeterministic automatonNonconstructive methodsCalculusFinite automataMethod of conditional probabilitiesMathematicsComputer Science(all)Theoretical Computer Science
researchProduct

On decoupling in Banach spaces

2021

AbstractWe consider decoupling inequalities for random variables taking values in a Banach space X. We restrict the class of distributions that appear as conditional distributions while decoupling and show that each adapted process can be approximated by a Haar-type expansion in which only the pre-specified conditional distributions appear. Moreover, we show that in our framework a progressive enlargement of the underlying filtration does not affect the decoupling properties (in particular, it does not affect the constants involved). As a special case, we deal with one-sided moment inequalities for decoupled dyadic (i.e., Paley–Walsh) martingales and show that Burkholder–Davis–Gundy-type in…

Statistics and ProbabilityPure mathematicsGeneral MathematicsBanach space01 natural sciences010104 statistics & probabilityFOS: MathematicsFiltration (mathematics)decoupling in Banach spaces0101 mathematicsSpecial casestokastiset prosessitMathematicsMathematics::Functional Analysisdyadic martingalesProbability (math.PR)010102 general mathematicsDecoupling (cosmology)Conditional probability distributionBanachin avaruudetAdapted processMoment (mathematics)regular conditional probabilities60E15 60H05 46B09stochastic integrationStatistics Probability and UncertaintyfunktionaalianalyysiRandom variableMathematics - Probability
researchProduct